ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО


ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО
- один из основных законов классической двузначной логики, исходившей из наличия у суждений только двух истинностных значений: истины или лжи. Его формальная запись такова: А V А (где V — означает исключающую дизъюнкцию: либо — либо). Согласно этому закону: любое суждение (высказывание вида «А есть В») либо истинно, либо ложно, третьего — не дано. Или: из двух противоречащих друг другу суждений одно непременно истинно. Развитие науки показало неуниверсальность этого закона формальной логики. С" одной стороны, создание квантовой механики показало, что в ней не два, а три истинностных значения для ее высказываний («истинно», «ложно», «неопределенно»), что наиболее подходящей (простой) логической основой для нее может быть скорее трехзначная, чем двухзначная логика. В системах трехзначной логики действует закон не исключенного третьего, а закон исключенного четвертого, который, правда, может рассматриваться как обобщенная форма закона исключенного третьего. Однако более радикальной критике универсальность закона исключенного третьего была подвергнута в интуиционистской логике и математике (Брауэр, Рейтинг и др.), где была показана его неприменимость к рассуждениям о свойствах элементов бесконечных множеств в силу невозможности перебора всех элементов таких множеств на предмет установления наличия или отсутствия у них определенного свойства. С точки зрения интуиционистов и конструктивистов закон исключенного третьего применим к рассуждениям только о конечно обозримых множествах. (См. мышление, рассудок, логика).


Философия науки: Словарь основных терминов. — М.: Академический Проект. . 2004.

Смотреть что такое "ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО" в других словарях:

  • Закон исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • закон исключенного третьего — логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: Аристотель умер в 322 г. до н. э. или он… …   Словарь терминов логики

  • Закон исключения третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — один из важнейших законов формальной логики, состоящий в том, что для всякого высказывания А истинно по крайней мере одно из двух: само А или его отрицание. Был известен уже Аристотелю. См. Принцип исключенного третьего. Философская Энциклопедия …   Философская энциклопедия

  • исключенного третьего закон — см.: Закон исключенного третьего …   Словарь терминов логики

  • исключенного третьего закон —         ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН один из трех главных законов логики, сформулированных Аристотелем. Его оригинальная формулировка гласит: «Оба утверждения А и не А не могут быть одновременно ложны».         В «Метафизике» Аристотеля… …   Энциклопедия эпистемологии и философии науки

  • ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — закон классической логики, состоящий в том, что одно из двух высказываний Л и не Л является истинным. В математической логике И. т. з. выражается формулой где знак дизъюнкции, знак отрицания. С интуиционистской (конструктивной) точки зрения… …   Математическая энциклопедия

  • Принцип исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • ПРИНЦИП ИСКЛЮЧЕННОГО ТРЕТЬЕГО — (распространенное лат. название – tertium non datur) – логич. закон, состоящий в том, что для всякого высказывания Л истинно по крайней мере одно из двух высказываний: само А или его отрицание (символически пишется A∨A и читается: А или не A).… …   Философская энциклопедия

  • ЗАКОН ЛОГИЧЕСКИЙ —     ЗАКОН ЛОГИЧЕСКИЙ общее название законов, образующих основу логической дедукции. Понятие о законах логики восходит к древнегреческому понятию о logos e как предпосылке объективной (“природной”) правильности рассуждений. Собственно логическое… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.